(0 12 9)(1 15 13 8 6)(2 14 11 4 3)(5 10 7)
ALLOWS (11/8)-SEQUENCE
1: (0 1 9)

(0)(1 12 9 15 13 8 6)(2 14 11 4 3)(5 10 7)
2: (6 9 15)

(0)(1 12 9)(2 14 11 4 3)(5 10 7)(6 13 8)(15)
3: (5 10 7)

(0)(1 12 9)(2 14 11 4 3)(5)(6 13 8)(7)(10)(15)
4: (1 12 9)

(0)(1)(2 14 11 4 3)(5)(6 13 8)(7)(9)(10)(12)(15)